Proceedings of Formal Aspects of Virtual Organisations 2008
نویسندگان
چکیده
The abstracts and short papers presented at the Formal Aspects of Virtual Organisations workshop (FAVO 2008), held in conjunction with FM'08. © 2008 University of Newcastle upon Tyne. Printed and published by the University of Newcastle upon Tyne, Computing Science, Claremont Tower, Claremont Road, Newcastle upon Tyne, NE1 7RU, England. Bibliographical details BRYANS, J., FITZGERALD, J.. Proceedings of Formal Aspects of Virtual Organisations 2008 [By] J. Bryans, J. Fitzgerald. Newcastle upon Tyne: University of Newcastle upon Tyne: Computing Science, 2008. (University of Newcastle upon Tyne, Computing Science, Technical Report Series, No. CS-TR-1098)
منابع مشابه
Proceedings of Formal Aspects of Virtual Organisations 2009
This report contains the proceedings of the 2009 workshop on Formal Aspects of Virtual Organisations, held in Eindhoven on 3rd November 2009 © 2009 University of Newcastle upon Tyne. Printed and published by the University of Newcastle upon Tyne, Computing Science, Claremont Tower, Claremont Road, Newcastle upon Tyne, NE1 7RU, England. Bibliographical details BRYANS, J.W., FITZGERALD, J.S. (EDS...
متن کاملManaging Conflicts of Interest in Virtual Organisations
In this paper, we present a formal model of virtual organisations that incorporates the concept of conflicts of interest. The model, which follows an incremental development approach using Event-B, focuses on goals and organisations at the abstract level and introduces resources at the concrete level. The model is motivated by the type of virtual organisations used in the domain of scientific e...
متن کاملModelling Virtual Organisations: Structure and Reconfigurations
Organisations have to adapt rapidly to survive in today’s diverse and rapidly changing environments. The idea of virtual organisations emerged as an answer. There is a strong need to understand virtual organisations (VOs) in a formal way: changes can have side effects and hence one might wish to understand precisely what consequences a change might have. The Virtual Organisation Modelling Langu...
متن کاملProceedings of the 7 th OVERTURE Workshop
This report contains the proceedings of the 7th OVERTURE workshop, held in Eindhoven on 2nd November 2009. © 2009 University of Newcastle upon Tyne. Printed and published by the University of Newcastle upon Tyne, Computing Science, Claremont Tower, Claremont Road, Newcastle upon Tyne, NE1 7RU, England. Bibliographical details LARSEN, P.G., BRYANS, J.W.(EDS.) Proceedings of Formal Aspects of Vir...
متن کاملAnimation-based Validation of a Formal Model of Dynamic Virtual Organisations
We describe a study of the industrial use of animation in the analysis of a formal model of information flow in dynamic virtual organisations (VOs). A generic formal model of a VO structure composed of autonomous agents sharing information was developed using the Vienna Development Method (VDM). An exploratory environment was also developed in which the model was animated via an interpreter run...
متن کامل